Nuprl Definition : upto 0,22

upto(n) == if n=0 nil else upto(n-1) @ [n-1] fi  (recursive) 
latex



clarification:

upto(n) == if n=0 nil else upto(n-1) @ ((n-1).nil) fi  (recursive) 
latex


Definitionsas @ bs, i=j, if b t else f fi, Y
FDL editor aliasesupto

origin